契合文化主体性表达的展馆方案创作

文章通过上海世博园区样板组团5号展馆的创作回顾,力图在全球化的大背景下,发掘地域建筑文化的现代内涵。理解结合特定环境和时代精神下的设计理念,探讨在方案创作中表达中国传统建筑文化的主体特性。     

重视语言输入输出，注重课堂教学互动——宁波工程学院学生英语学习需求调查及其启示

需求分析应用于外语教学过程中已经有二、三十年的历史。作为外语课堂教学的组织者，教师若不了解学习者的需求就无法有效地开展课堂教学。本文通过问卷和统计的方法对宁波工程学院学生外语（本文特指英语）学习需求的基本情况进行了调查，试图通过分析从中提出改进课堂教学的措施，以期对今后课堂教学能有所帮助。     

低碳发展的人文意蕴

阐述了大量事实说明整个地球气候的确正在变暖，地球变暖将不可逆地引起地球深度的改变，从而引发人类灾难性的生态危机，因此整个人类都要携起手来共同应对。引领和倡导低碳发展、循环发展和绿色发展。蕴含着深刻的人文文化智慧，不仅仅是人类共生共存的需要或生态文明的内在需要，也是减轻能源压力和转变生产生活方式的需要；不仅关涉到当代人的可持续发展，也关涉到子孙后代代际间的可持续发展。     

Reverse triple Ⅰ method of fuzzy reasoning

A theory of reverse triple I method with sustention degree is presented by using the implication operator R0 in every step of the fuzzy reasoning. Its computation formulas of supremum for fuzzy modus ponens and infimum for fuzzy modus tollens are given respectively. Moreover, through the generalization of this problem, the corresponding formulas of α-reverse triple I method with sustention degree are also obtained. In addition, the theory of reverse triple I method with restriction degree is proposed as well by using the operator R0, and the computation formulas of infimum for fuzzy modus ponens and supremum for fuzzy modus tollens are shown.     

宝鸡马勺脸谱视觉符号及文化寓意探析

目的对宝鸡马勺脸谱中的视觉符号进行研究,探析在现代艺术中的文化寓意。方法分析宝鸡马勺脸谱视觉符号的起源发展、艺术分析以及马勺脸谱的文化寓意,探究民俗艺术对当代艺术的重要影响,以及对当代艺术的启示。结论陕西宝鸡马勺脸谱是一种在历史长河中源远流长的地方性传统民间手工艺品,其视觉符号不仅具有宝鸡关中地方特色,而且以关中社火脸谱为基础,造型新颖特殊,颜色艳丽朴实,纹饰设计规整严格,谱式繁多且齐全,具有鲜明的视觉冲击力和表现力。将马勺脸谱的民俗艺术与现代艺术结合,探析其具有的独特文化寓意,使中华大地民俗艺术中的优秀瑰宝,展现出别样的艺术魅力。     

论商品包装的精神文明蕴含

商品包装有着丰富的精神文明蕴含，它包括通过商品包装所表达和折射出来的思想蕴含、科技蕴含、法律蕴含、道德蕴含、文化蕴含等。优化商品包装也是社会主义精神文明建设的需要。     

Linguistic truth-valued lattice-valued propositional logic system ?P(X) based on linguistic truth-valued lattice implication algebra

In the semantics of natural language, quantification may have received more attention than any other subject, and syllogistic reasoning is one of the main topics in many-valued logic studies on inference. Particularly, lattice-valued logic, a kind of important non-classical logic, can be applied to describe and treat incomparability by the incomparable elements in its truth-valued set. In this paper, we first focus on some properties of linguistic truth-valued lattice implication algebra. Secondly, we introduce some concepts of linguistic truth-valued lattice-valued propositional logic system ?P(X), whose truth-valued domain is a linguistic truth-valued lattice implication algebra. Then we investigate the semantic problem of ?P(X). Finally, we further probe into the syntax of linguistic truth-valued lattice-valued propositional logic system ?P(X), and prove the soundness theorem, deduction theorem and consistency theorem.     

Rough implication operator based on strong topological rough algebras

The role of topological De Morgan algebra in the theory of rough sets is investigated. The rough implication operator is introduced in strong topological rough algebra that is a generalization of classical rough algebra and a topological De Morgan algebra. Several related issues are discussed. First, the two application directions of topological De Morgan algebras in rough set theory are described, a uniform algebraic depiction of various rough set models are given. Secondly, based on interior and closure operators of a strong topological rough algebra, an implication operator (called rough implication) is introduced, and its important properties are proved. Thirdly, a rough set interpretation of classical logic is analyzed, and a new semantic interpretation of ?ukasiewicz continuous-valued logic system ?uk is constructed based on rough implication. Finally, strong topological rough implication algebra (STRI-algebra for short) is introduced. The connections among STRI-algebras, regular double Stone algebras and RSL-algebras are established, and the completeness theorem of rough logic system RSL is discussed based on STRI-algebras.     

语言真值格值命题逻辑系统中广义文字的归结判定

自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语 言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的 逻辑基础。给出了语言真值格蕴涵代数纷相似文献   

基于蕴涵算子族H_((p,λ))的三Ⅰ算法模糊系统

针对蕴涵算子族H(p,λ),给出了FMP问题三Ⅰ支持算法和α-三Ⅰ支持算法的计算公式;讨论了基于三Ⅰ算法的模糊系统及其响应性能,结果表明,蕴涵算子族H(p,λ)的模糊系统只具有阶跃输出能力,不具有函数逼近泛性;揭示了蕴涵算子族H(p,λ)的模糊系统的概率意义,给出了其概率分布,它充当模糊系统的"系统内核"作用。